Optimal. Leaf size=679 \[ \frac{x \left (c x^2 \left (20 a^2 c f+a b^2 f-12 a b (a h+2 c d)+3 b^3 d\right )+8 a^2 b c f+4 a^2 c (a h+7 c d)+a b^3 f-a b^2 (7 a h+25 c d)+3 b^4 d\right )}{8 a^2 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac{\sqrt{c} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right ) \left (\frac{-52 a^2 b c f+24 a^2 c (a h+7 c d)+a b^3 f-6 a b^2 (5 c d-3 a h)+3 b^4 d}{\sqrt{b^2-4 a c}}+20 a^2 c f+a b^2 f-12 a b (a h+2 c d)+3 b^3 d\right )}{8 \sqrt{2} a^2 \left (b^2-4 a c\right )^2 \sqrt{b-\sqrt{b^2-4 a c}}}+\frac{\sqrt{c} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right ) \left (-\frac{-52 a^2 b c f+24 a^2 c (a h+7 c d)+a b^3 f-6 a b^2 (5 c d-3 a h)+3 b^4 d}{\sqrt{b^2-4 a c}}+20 a^2 c f+a b^2 f-12 a b (a h+2 c d)+3 b^3 d\right )}{8 \sqrt{2} a^2 \left (b^2-4 a c\right )^2 \sqrt{\sqrt{b^2-4 a c}+b}}+\frac{x \left (x^2 (a b h-2 a c f+b c d)-a b f-2 a (c d-a h)+b^2 d\right )}{4 a \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}-\frac{3 c (2 c e-b g) \tanh ^{-1}\left (\frac{b+2 c x^2}{\sqrt{b^2-4 a c}}\right )}{\left (b^2-4 a c\right )^{5/2}}+\frac{3 \left (b+2 c x^2\right ) (2 c e-b g)}{4 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}-\frac{-2 a g+x^2 (2 c e-b g)+b e}{4 \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 10.0953, antiderivative size = 679, normalized size of antiderivative = 1., number of steps used = 11, number of rules used = 10, integrand size = 35, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.286 \[ \frac{x \left (c x^2 \left (20 a^2 c f+a b^2 f-12 a b (a h+2 c d)+3 b^3 d\right )+8 a^2 b c f+4 a^2 c (a h+7 c d)+a b^3 f-a b^2 (7 a h+25 c d)+3 b^4 d\right )}{8 a^2 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac{\sqrt{c} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right ) \left (\frac{-52 a^2 b c f+24 a^2 c (a h+7 c d)+a b^3 f-6 a b^2 (5 c d-3 a h)+3 b^4 d}{\sqrt{b^2-4 a c}}+20 a^2 c f+a b^2 f-12 a b (a h+2 c d)+3 b^3 d\right )}{8 \sqrt{2} a^2 \left (b^2-4 a c\right )^2 \sqrt{b-\sqrt{b^2-4 a c}}}+\frac{\sqrt{c} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right ) \left (-\frac{-52 a^2 b c f+24 a^2 c (a h+7 c d)+a b^3 f-6 a b^2 (5 c d-3 a h)+3 b^4 d}{\sqrt{b^2-4 a c}}+20 a^2 c f+a b^2 f-12 a b (a h+2 c d)+3 b^3 d\right )}{8 \sqrt{2} a^2 \left (b^2-4 a c\right )^2 \sqrt{\sqrt{b^2-4 a c}+b}}+\frac{x \left (x^2 (a b h-2 a c f+b c d)-a b f-2 a (c d-a h)+b^2 d\right )}{4 a \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}-\frac{3 c (2 c e-b g) \tanh ^{-1}\left (\frac{b+2 c x^2}{\sqrt{b^2-4 a c}}\right )}{\left (b^2-4 a c\right )^{5/2}}+\frac{3 \left (b+2 c x^2\right ) (2 c e-b g)}{4 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}-\frac{-2 a g+x^2 (2 c e-b g)+b e}{4 \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2} \]
Antiderivative was successfully verified.
[In] Int[(d + e*x + f*x^2 + g*x^3 + h*x^4)/(a + b*x^2 + c*x^4)^3,x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((h*x**4+g*x**3+f*x**2+e*x+d)/(c*x**4+b*x**2+a)**3,x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 7.07484, size = 845, normalized size = 1.24 \[ -\frac{b c d x^3-2 a c f x^3+a b h x^3-2 a c e x^2+a b g x^2+b^2 d x-2 a c d x-a b f x+2 a^2 h x-a b e+2 a^2 g}{4 a \left (4 a c-b^2\right ) \left (c x^4+b x^2+a\right )^2}+\frac{\sqrt{c} \left (3 d b^4+3 \sqrt{b^2-4 a c} d b^3+a f b^3-30 a c d b^2+a \sqrt{b^2-4 a c} f b^2+18 a^2 h b^2-24 a c \sqrt{b^2-4 a c} d b-52 a^2 c f b-12 a^2 \sqrt{b^2-4 a c} h b+168 a^2 c^2 d+20 a^2 c \sqrt{b^2-4 a c} f+24 a^3 c h\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{8 \sqrt{2} a^2 \left (b^2-4 a c\right )^{5/2} \sqrt{b-\sqrt{b^2-4 a c}}}+\frac{\sqrt{c} \left (-3 d b^4+3 \sqrt{b^2-4 a c} d b^3-a f b^3+30 a c d b^2+a \sqrt{b^2-4 a c} f b^2-18 a^2 h b^2-24 a c \sqrt{b^2-4 a c} d b+52 a^2 c f b-12 a^2 \sqrt{b^2-4 a c} h b-168 a^2 c^2 d+20 a^2 c \sqrt{b^2-4 a c} f-24 a^3 c h\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b+\sqrt{b^2-4 a c}}}\right )}{8 \sqrt{2} a^2 \left (b^2-4 a c\right )^{5/2} \sqrt{b+\sqrt{b^2-4 a c}}}+\frac{3 c (2 c e-b g) \log \left (-2 c x^2-b+\sqrt{b^2-4 a c}\right )}{2 \left (b^2-4 a c\right )^{5/2}}-\frac{3 c (2 c e-b g) \log \left (2 c x^2+b+\sqrt{b^2-4 a c}\right )}{2 \left (b^2-4 a c\right )^{5/2}}+\frac{3 d x b^4+3 c d x^3 b^3+a f x b^3+a c f x^3 b^2-6 a^2 g b^2-25 a c d x b^2-7 a^2 h x b^2-24 a c^2 d x^3 b-12 a^2 c h x^3 b-12 a^2 c g x^2 b+12 a^2 c e b+8 a^2 c f x b+20 a^2 c^2 f x^3+24 a^2 c^2 e x^2+28 a^2 c^2 d x+4 a^3 c h x}{8 a^2 \left (4 a c-b^2\right )^2 \left (c x^4+b x^2+a\right )} \]
Antiderivative was successfully verified.
[In] Integrate[(d + e*x + f*x^2 + g*x^3 + h*x^4)/(a + b*x^2 + c*x^4)^3,x]
[Out]
_______________________________________________________________________________________
Maple [B] time = 0.314, size = 19742, normalized size = 29.1 \[ \text{output too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((h*x^4+g*x^3+f*x^2+e*x+d)/(c*x^4+b*x^2+a)^3,x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((h*x^4 + g*x^3 + f*x^2 + e*x + d)/(c*x^4 + b*x^2 + a)^3,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((h*x^4 + g*x^3 + f*x^2 + e*x + d)/(c*x^4 + b*x^2 + a)^3,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((h*x**4+g*x**3+f*x**2+e*x+d)/(c*x**4+b*x**2+a)**3,x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F(-2)] time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: NotImplementedError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((h*x^4 + g*x^3 + f*x^2 + e*x + d)/(c*x^4 + b*x^2 + a)^3,x, algorithm="giac")
[Out]